منابع مشابه
Linear Consistency Testing
We extend the notion of linearity testing to the task of checking linear-consistency of multiple functions. Informally, functions are “linear” if their graphs form straight lines on the plane. Two such functions are “consistent” if the lines have the same slope. We propose a variant of a test of Blum, Luby and Rubinfeld [8] to check the linear-consistency of three functions f1, f2, f3 mapping a...
متن کاملLINEAR HYPOTHESIS TESTING USING DLR METRIC
Several practical problems of hypotheses testing can be under a general linear model analysis of variance which would be examined. In analysis of variance, when the response random variable Y , has linear relationship with several random variables X, another important model as analysis of covariance can be used. In this paper, assuming that Y is fuzzy and using DLR metric, a method for testing ...
متن کاملTesting Database Transaction Consistency
AGENDA is a tool set for testing relational database applications. In this paper we extend AGENDA to test transaction consistency. Two levels of checks are used to check both database state and state transition. The transition check validates the state transition performed by the transaction. The state check validates that the overall global consistency properties hold for the new database stat...
متن کاملTesting Consistency between Behavior
| In this paper we present a way to automate consistency tests between two diierent kinds of software description techniques using PROLOG. Especially, we focus on hierarchical state transition diagrams and interaction sequences both of which specify aspects of a system's dynamics. In contrast to the similar graphical representations of UML our description techniques come with clear semantics wh...
متن کاملTesting the Consistency of Dynamic
The Unified Modeling Language (UML) offers different diagrams to depict the behavior of a modeled system and its elements. When employing different diagrams during modeling, it has to be ensured that these different specifications are consistent. The consistency conditions depend on the diagrams involved, the development process employed, and the current stage of the development. In order to en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2001
ISSN: 0022-0000
DOI: 10.1006/jcss.2001.1747